es{-}first{-}at(${\it es}$;$i$;$e$;$e$.$P$($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}loc(${\it es}$; $e$) $=$ $i$ $\in$ Id \& $P$($e$) \& alle{-}lt(${\it es}$;$e$;${\it e'}$.$\neg$$P$(${\it e'}$))